g:IMonoid, i, j:
.
(i < j)
(E:({i..j
}
|g|). (
i 
k < j. E(k)) = (E(i) * ( i+1 k < j. E(k))) 
|g|) | 13,42 |
g:IMonoid, i, j:.
(E:({i..j}|g|). ( i k < j. E(k)) = (E(i) * ( i+1 k < j. E(k))) |g|)
| Up | |
| Definitions of Statement | lb i < ub. E(i) |
| Definitions | lb i < ub. E(i) |
| Lemmas |